Algebraic theory

In mathematical logic, an algebraic theory is one that uses axioms stated entirely in terms of equations between terms with free variables. Inequalities and quantifiers are specifically disallowed. Sentential logic is the subset of first-order logic involving only algebraic sentences.

Saying that a theory is algebraic is a stronger condition than saying it is elementary.

Related